一种面向测试的RTL行为抽象与蕴含方法

针对寄存器传输级（register transfer level,RTL)行为的抽象，提出了一种层次化的带条件的表示，这种抽象的行为是面向测试的，它不仅表达简单，而且能很方便地进行蕴含操作，通过抽象，电路可以规范为行为集，并代替电路本身进行功能测试向量的生成，在测试生成过程中，大量地应用蕴含操作何以使其中的行为得到简化，并极大地提高了系统的效率。     

吊舱式推进装置水动力性能试验研究

对吊舱式推进装置进行了多方案的模型试验研究，考察了串列式吊舱推进装置前后桨的负荷匹配及初始相位角的影响。空泡水筒敞水试验结果表明，无论双桨串列式或单桨拖、推式吊舱推进装置，由于吊舱影响使螺旋桨效率均比常规桨有所提高；但若计及吊舱阻力则吊舱推进装置的系统效率有所下降。可以预见，吊舱式推进装置因其众多的优越性而具有广阔的发展前景。     

牛奶的微生物学检验

为提高牛奶的食用价值，以选择最佳的灭菌方法，最佳的贮存温度及有效存放时间，对临汾地区奶牛场的牛奶进行了生物学检验，从而得出了牛奶的最佳灭菌方法为巴斯消毒法；牛奶的最佳贮存温度为O℃；有限的存放时间为O℃贮存大约7d，室温(22℃)贮存12h。32℃贮存6h。     

网络考试系统的安全设计

从对数据库系统的安全分析入手，结合网络考试系统的实际，从硬件系统、数据库系统、网络操作系统和网络应用程序几个方面，提出了解决网络考试系统安全性的方法。     

标准贯入与波速在原位测试中的对比分析

标准贯入与波速测试在工程勘察中都是较重要的原位测试手段,应用广泛。通过对芜湖城南某地块分别利用标准贯入试验和单孔波速测试法进行原位测试试验结果的分析,说明在工程勘察及成果运用中,应综合考虑多种因素,合理采用有关参数。     

高含沙水流河床稳定性试验研究

利用过程响应模型试验原理,模拟了高含沙水流河道的形成过程,从平面、横断面和纵向变化3方面揭示了高含沙水流窄深河道的形成过程及河道形态特征。试验结果表明:在高含沙窄深河道形成初期,河道平面摆动剧烈,同时水流漫滩并大量淤积,河床抬高,主槽保持窄深形态;在后期,水流不漫滩和保持高含沙水流的条件下,这种单一窄深河道形态变化较小,在空间和时间上都能够相对稳定。     

“回归直线法”在公司理财中的应用研究

介绍了回归直线法的由来,给出了相关性检验的两种方法:相关系数法和方差分析法,在此基础上,又给出了误差估计的3种简单方法:最大误差法、平均误差法和标准差法,使“回归直线法”在公司理财中的广泛应用,不仅具有可操作性,同时更具有可靠性.     

岩基静荷试验方法及其适用条件分析

根据反力系统的不同 ,介绍了几种岩基载荷试验方法———堆载平台法、锚杆反力梁法、锚桩反力梁法、护壁反力法、斜壁支撑法等 ,并对其适用条件从经济、安全等方面进行了分析     

大型阀门动水关闭试验与分析

本文介绍了Ф2500蝴蝶阀的动水关闭试验试验的方法和过程,描述了试验过程中出现的各种现象及产生的原因.     

概化理论在语言测试新进展中的应用

概化理论是一种发展较晚但功能全面的现代测试理论，能有效地设计、分析和评估测试项目。直到上个世纪八九十年代，Robert Brennan等人开发了GENOVA等一系列应用软件后，概化理论才在心理和教育测量领域的研究中逐渐受到重视，此后，运用概化理论研究实际问题的项目也逐渐多了起来。概化理论与项目反应理论属于不同的理论范畴，它们的基本假设也有很大的差别。